🇬🇧 en de 🇩🇪

binary real number

Gleitkommazahl